Default Reasoning and Generics
نویسندگان
چکیده
منابع مشابه
Default Reasoning and Generics
There are numerous logical formalisms capable of drawing conclusions using default rules. Such systems, however, do not normally determine where the default rules come from; i.e. what it is which makes Birds fly a good rule, but Birds drive trucks—a bad one. Generic sentences such as Birds fly are often used informally to describe default rules. I propose to take this characterization seriously...
متن کاملGenerics, prevalence, and default inferences
We examine the extent to which people’s judgments about whether a given member of a kind has a property are guided by prevalence estimates alone, or whether their acceptance of a generic generalization also impacts these judgments. Our data are not accounted for by prevalence estimates alone: acceptance of a generic disposes people to infer that, by default, a given member of a kind has the rel...
متن کاملReasoning with Generics and Induction
Based on the results of reasoning with generics, this paper attempts to clarify the relationship between generic reasoning and inductive reasoning. First, to capture reasoning with generics, logics for obtaining intermediate conclusions are provided; then, the priority order of the subsets of the premise set are introduced to eliminate the contradictions or incompatibility generated by intermed...
متن کاملDefault Reasoning and Belief
As an important variant of Reiter's default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical rst-order language. Brewka and Nebel extended Poole's approach in order to enable a representation of priorities between defaults. In this paper we present a general framework for default reasoning, which can be viewed as a common generalization of the three approaches a...
متن کاملMeta Level Reasoning and Default Reasoning
In this paper, we propose a logic framework for meta level reasoning as well as default reasoning in a general sense, based on an arbitrary underlying logic. In this framework, meta level reasoning is the task of how to deduce new meta level rules by giving a set of rules, whilst default reasoning is the problem of what are the possible candidate beliefs by giving them. We define the semantics ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computational Intelligence
سال: 1997
ISSN: 0824-7935,1467-8640
DOI: 10.1111/0824-7935.00050